#pragma once

#include <linux/thread_info.h>

/*
 * switch_to(prev, next) should switch from task `prev' to `next'
 * `prev' will never be the same as `next'.  schedule() itself
 * contains the memory barrier to tell GCC not to cache `current'.
 */
extern struct task_struct *__switch_to(struct task_struct *, struct thread_info *,
                                       struct task_struct  *, struct thread_info *);

#define switch_to(prev, next, last)               \
    do                                            \
    {                                             \
        struct thread_info *pti, *nti;            \
        pti = task_thread_info(prev);             \
        nti = task_thread_info(next);             \
        pti->next = next;                        \
        last = __switch_to(prev, pti, next, nti); \
    } while (0)
